Skip to content
This repository has been archived by the owner on Nov 3, 2023. It is now read-only.

redundant loop #3584

Merged
merged 1 commit into from
Apr 14, 2021
Merged

redundant loop #3584

merged 1 commit into from
Apr 14, 2021

Conversation

mojtaba-komeili
Copy link
Contributor

Patch description
Looking at my previous merged PR, I noticed a redundant loop. I don't know why I didn't remove it 😶

@mojtaba-komeili mojtaba-komeili merged commit 6216f34 into master Apr 14, 2021
@mojtaba-komeili mojtaba-komeili deleted the mutators-followup branch April 14, 2021 18:48
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants